Social wasps are broadly distributed in Brazil, and their distribution is closely related to local plant composition. However, only a few studies on the diversity of these insects have been carried out in northeastern Brazil, and in Caatinga Biome the diversity is probably underestimated due to the lack of inventories for the region. Aiming at advancing the knowledge about the wasp fauna, we carried out this study from October 2005 to September 2006 in Ibipeba, northeastern Brazil. We collected 172 wasps (...) of five genera and eight species, and recorded Polybia ruficeps Schrottky, 1902 for the first time in the state of Bahia. The most abundant species was Polybia ignobilis (Haliday, 1836) (n = 69), and the least abundant were Brachygastra lecheguana (Latreille, 1824) (n = 2) and Polistes canadensis (Linnaeus, 1758) (n = 2). The present study inventory focused exclusively on the diversity of social wasps in an area of Caatinga, which contributes to advance the local fauna knowledge. (shrink)

Convocada por diferentes estudiosos de los Padres de la Iglesia y del cristianismo antiguo en Latinoamérica, a saber, los profesores Ana Cristina Villa Betancourt, Andrés Mauricio Quevedo Rodríguez y Estiven Valencia Marín, de Colombia; Alejandro Nicola y Francisco Basttita-Harriet, de Argentina; Bruno Gripp, de Brasil; Pamela Chávez Aguilar, de Chile; y Jesús Ma. Aguiñaga Fernández, de México.

Many word forms in natural language are polysemous, but only some of them allow for co-predication, that is, they allow for simultaneous predications selecting for two different meanings or senses of a nominal in a sentence. In this paper, we try to explain (i) why some groups of senses allow co-predication and others do not, and (ii) how we interpret co-predicative sentences. The paper focuses on those groups of senses that allow co-predication in an especially robust and stable way. We (...) argue, using these cases, but focusing particularly on the multiply polysemous word ‘school’, that the senses involved in co-predication form especially robust activation packages, which allow hearers and readers to access all the different senses in interpretation. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...) any sets A and B, if A is the same size as B, then there is a bijection from A to B. The aim of the paper, however, is to argue that this question is in fact wide open: to argue that we are not in a position to know the answer, because we are not in one to know the principle. The aim, that is, is to argue that for all we know there is only one size of infinity. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...) The present proposal is quite different. According to this, there is no such alternative logic. Rather, classical logic retains the status of the ‘one true logic’, but this status must be reconceived so as to be compatible with (almost) all of its rules admitting of exceptions. This would seem to have significant repercussions for a range of widely held views about logic: e.g. that it is a priori, or that it is necessary. Indeed, if the arguments of the paper succeed, then such views must be given up. (shrink)

This is a chapter on noncognitivism in a textbook on ethics.

There is a growing awareness that there are many subtle forms of exclusion and partiality that affect the correct workings of a judicial system. The concept of epistemic injustice, introduced by the philosopher Miranda Fricker, is a useful conceptual tool to understand forms of judicial partiality that often go undetected. In this paper, we present Fricker’s original theory and some of the applications of the concept of epistemic injustice in legal processes. In particular, we want to show that the seed (...) planted by Fricker has flourished into a rich field of study in which the concept is used to analyze many different phenomena in law, not always following the original characterization provided by her. This has led to a distinction between what we will call the narrow version of the concept, which is closer to Fricker’s original account, and the wider version of epistemic injustice, which is a more controversial notion because it is always on the verge of morphing into other well-known concepts like sexism, racial discrimination, oppression, silencing, and gaslighting. We will show that the value of the narrow version is mostly theoretical, and that in order to use the concept of epistemic injustice one must adopt a more liberal understanding of it. (shrink)

In the natural and social sciences, it is common to use toy models—extremely simple and highly idealized representations—to understand complex phenomena. Some of the simple surrogate models used to understand opaque machine learning (ML) models, such as rule lists and sparse decision trees, bear some resemblance to scientific toy models. They allow non-experts to understand how an opaque ML model works globally via a much simpler model that highlights the most relevant features of the input space and their effect on (...) the output. The obvious difference is that the common target of a toy and a full-scale model in the sciences is some phenomenon in the world, while the target of a surrogate model is another model. This essential difference makes toy surrogate models (TSMs) a new object of study for theories of understanding, one that is not easily accommodated under current analyses. This paper provides an account of what it means to understand an opaque ML model globally with the aid of such simple models. (shrink)

Resumen: Una de las formas más comunes y menos estudiadas de parcialidad judicial subjetiva es la disminución de la credibilidad otorgada a un testigo debido a un prejuicio identitario implícito del agente judicial. En la epistemología social, este fenómeno ha sido estudiado bajo la rúbrica de la injusticia testimonial. En este ensayo mostramos que para determinar la ocurrencia de un caso de injusticia testimonial en el derecho se deben cumplir tres condiciones que son imposibles de verificar empíricamente y que están (...) basadas en presupuestos psicológicos que han sido puestos en duda en años recientes. Sin la posibilidad de verificar estas condiciones, estamos frente a un tipo de parcialidad judicial indetectable. En su lugar, ofrecemos una nueva forma de entender la injusticia testimonial en el derecho como un fenómeno más general que describe una tendencia comportamental prejuiciosa recurrente por parte de un agente judicial. Entendida de este modo, la injusticia testimonial es completamente verificable. -/- Abstract: One of the most common and least studied forms of subjective judicial partiality is the credibility deficit suffered by a witness due to an implicit identity prejudice in a judicial agent. Social epistemologists have studied this form of partiality under the rubric, “testimonial injustice.” In this essay we argue that to verify the occurrence of a singular instance of testimonial injustice in law three facts must be established, none of which can be established with any degree of confidence. Furthermore, all of them are based on psychological suppositions that have been recently discredited. Without the possibility of establishing these facts, we end up with an undetectable form of subjective judicial partiality. In its place, we offer a new way of understanding testimonial injustice in law as a general phenomenon that describes a recurrent pattern of prejudiced behavior in a judicial agent. Under this characterization, testimonial injustice becomes empirically verifiable. (shrink)

The present study aims at understanding how Ethica Nicomachea V.6 relates to its preceding chapters, V.1-5. On the one hand, the interpreter wonders for what purpose Aristotle introduces a topic named ‘the civic just’ (to politikon dikaion) in V.6, since V.1-5 treats extensively of matters of justice in the city. On the other hand, the same text posits that there is a certain ‘just without qualification’ (to haplōs dikaion), which may or may not be the civic just itself; compared to (...) the just without qualification, other forms of just are so by similitude (kath’homoiteta). In attempting to clear the confusion around those two points, the present study proposes the following: (1) the civic just is the just without qualification insofar as it is the primordial form of the just, in which only humans who are cumulatively free, equals and self-sufficient have a share; (2) the description of the civic just recapitulates several aspects of the discussions of justice in V.1-5 – the laws, the kinds of equality, rule, the legal suit - because the civic just encompasses all the forms of just (dikaion) related to the virtues of universal justice (V.1) and partial justice (V.2-5); (3) the expression to politikon dikaion is introduced in V.6 in order to contrast everything treated in V.1-5 with the domestic just, to oikonomikon dikaion, mentioned for the first time in V.6; (4) the forms of the domestic just are just only by similitude with the civic just because justice loses density outside the civic sphere, a situation which can be explained by the shortcomings Aristotle ascribes to women, children and slaves in EN V.6 (lack either of freedom or equality or yet self-sufficiency) as well as in Politica I (varying degrees of defective deliberation and virtue). (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...) by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

Uno de los principios éticos mencionados más frecuentemente en los lineamientos para el desarrollo de la inteligencia artificial (IA) es la transparencia algorítmica. Sin embargo, no existe una definición estándar de qué es un algoritmo transparente ni tampoco es evidente por qué la opacidad algorítmica representa un reto para el desarrollo ético de la IA. También se afirma a menudo que la transparencia algorítmica fomenta la confianza en la IA, pero esta aseveración es más una suposición a priori que una (...) tesis basada en evidencia empírica. Tampoco se discute mucho hasta qué punto es técnicamente posible volver transparente la caja negra de la IA a través de los métodos de explicabilidad. En este capítulo haré un análisis de la interrelación entre los conceptos de transparencia, explicabilidad y confianza. Inicialmente, analizaré los diferentes tipos de opacidad algorítmica para entender mejor cuál es el problema al que nos enfrentamos. En las secciones subsiguientes trazaré la relación entre explicabilidad y transparencia, y presentaré los límites de los métodos actuales de explicabilidad. En la sección final, examinaré la evidencia empírica acerca de la relación entre transparencia y confianza en las decisiones automatizadas basadas en sistemas de IA. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

The use of machine learning algorithms has become ubiquitous in hiring decisions. Recent studies have shown that many of these algorithms generate unlawful discriminatory effects in every step of the process. The training phase of the machine learning models used in these decisions has been identified as the main source of bias. For a long time, discrimination cases have been analyzed under the banner of disparate treatment and disparate impact, but these concepts have been shown to be ineffective in the (...) context of AI. This paper examines the possibility of studying algorithmic discrimination from the perspective of negligence law. Negligent selection and validation of datasets and classifiers is a salient cause of improper training in machine learning. It is a breach of an employer’s duty to protect others, a failure of its exercise of due care in the manner of choosing employees. Adopting negligence to algorithmic discrimination requires a reformulation of what is foreseeable and reasonable within the context of black box algorithms, and a shift in the burden of proof to the employer, who must present evidence of its efforts to avoid bias. (shrink)

Tradução para o português do livro "Le Scepticisme Philosophique", Paris: Bordas, 1972, de André Verdan. Título da edição brasileira: O Ceticismo Filosófico. Florianópolis: Editora da UFSC, 1998, 135 páginas. ISBN: 8532801390 / ISBN-13: 9788532801395.

Para solucionar a questão “sobre o que há” levantada por Quine, e realizar a tarefa de compreender de forma exauriente as muitas unidades ontológicas que povoam a grande província do Ser, propomos como alternativa à ontologia punteliana, uma nova ontologia designada de “Ontologia Estrutural” (OE). Tal ontologia parte de bases teóricas sistemático-estruturais, mas desemboca em uma visão diversa em que co-subsistem unidades factuais estruturadas, configurações estruturais (dinâmicas), bem como unidades ontológicas aparentes (objetos), todas englobadas pela subdimensão temporal que as interconexiona, (...) compreendida esta como uma subdimensão (interna) da macrodimensão do Ser. Nesse sentido, começamos situando a temática ontológica na discussão filosófica atual a partir de uma chave quineana; prosseguimos apresentando um conceito de verdade derivado de nossa leitura da filosofia punteliana, o qual constituirá o ponto de ligação entre linguagem e mundo. Na sequência, mostramos como do conceito de verdade trazido à lume, após uma breve incursão na semântica filosófica, chegamos ao campo ontológico a partir das categorias ontológicas de estrutura e estado ontológico. Ao final, delineamos, em seus caracteres gerais, a nossa ontologia estrutural, compreensiva de noções ontológicas próprias que dão novos rumos à compreensão filosófica desta grande temática. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

In this paper, I summarize Hume's moral theory as it is developed in the Treatise on Human Nature and pay particular attention to the question how evil is possible in Hume's theory.

Los sesgos cognitivos afectan negativamente la toma de decisiones en todas las esferas de la vida, incluyendo las decisiones de los jueces. La imposibilidad de eliminarlos por completo de la práctica del derecho, o incluso de controlar sus efectos, contrasta con el anhelo de que las decisiones judiciales sean el resultado exclusivo de un razonamiento lógico-jurídico correcto. Frente el efecto sistemático, recalcitrante y porfiado de los sesgos cognitivos, una posible estrategia para disminuir su efecto es enfocarse, no en modificar el (...) comportamiento de los agentes judiciales, sino en moldear su entorno para que los sesgos tengan menos oportunidades de aparecer. En particular, es más provechoso concentrar los esfuerzos en identificar aquellas reglas procesales que faciliten o limiten el efecto de los sesgos. En este ensayo propongo un diálogo fructífero entre el derecho y la psicología que puede llevar a mejorar la calidad de los sistemas judiciales. La propuesta está basada en la creación de guías de práctica judicial que puedan servir de base para la creación de protocolos procesales que limiten en la medida de lo razonable sus efectos negativos y conduzcan a mejores decisiones judiciales. (shrink)

Can one expect religious minorities to be committed to a liberal democratic state? Can a democratic, Western, liberal state be open and safe for all – both ultra-orthodox and secular alike – and count on the allegiance of all? Does this require that religious minorities ‘hide’ their religious identity and conform to prevailing laws and customs and express their religious views and practices only in the privacy of their own homes? Or should minorities request that they receive public recognition? Ought (...) such minorities tolerate opposing views and practices on matters that are central to their faith, or should they request that these are not expressed in public? In this paper, I discuss and evaluate four possible responses to these questions. (shrink)

Abstract In The Descent of Man (1879), Charles Darwin proposed a speculative evolutionary explanation of extended benevolence—a human sympathetic capacity that extends to all nations, races, and even to all sentient beings. This essay draws on twenty-first century social science to show that Darwin’s explanation is correct in its broad outlines. Extended benevolence is manifested in institutions such as legal human rights and democracy, in behaviors such as social movements for human rights and the protection of nonhuman animals, and in (...) normative attitudes such as emancipative values and a commitment to promote the rights or welfare of animals. These phenomena can be substantially explained by cultural evolutionary forces that trace back to three components of what Darwin called the human “moral sense”: (1) sympathy, (2) our disposition to follow community rules or norms, and (3) our capacity to make normative judgments. Extended benevolence likely emerged with “workarounds,” including political ideologies, that established an inclusive sympathetic concern for sentient life. It likely became as widespread as it is now due to recently arisen socio-economic conditions that have created more opportunities for people to have contact with and take the perspective of a broader cross-section of humanity, as well as other species. (shrink)

According to Molinism, logically prior to his creative decree, God knows via middle knowledge the truth value of the counterfactuals or conditionals of creaturely freedom (CFs) and thus what any possible person would do in any given circumstance. Critics of Molinism have pointed out that the Molinist God gets lucky that the CFs allow him to actualize either a world of his liking or even a good-enough world at all. In this paper, I advance and strengthen the popular critique in (...) two ways. First, I specify the kind of luck to which God is subject, which is circumstantial moral luck. Second, and more importantly, I argue that exposure to this luck is problematic because something external to God and beyond his control determines the degree of praiseworthiness he deserves in relevant possible worlds. My main contention is that divine subjection to circumstantial moral luck raises the theoretical costs of Molinism. (shrink)

In a recent paper, Erasmus et al. (2021) defend the idea that the ambiguity of the term “explanation” in explainable AI (XAI) can be solved by adopting any of four different extant accounts of explanation in the philosophy of science: the Deductive Nomological, Inductive Statistical, Causal Mechanical, and New Mechanist models. In this chapter, I show that the authors’ claim that these accounts can be applied to deep neural networks as they would to any natural phenomenon is mistaken. I also (...) provide a more general argument as to why the notion of explainability as it is currently used in the XAI literature bears little resemblance to the traditional concept of scientific explanation. It would be more fruitful to use the label “understandable AI” to avoid the confusion that surrounds the goal and purposes of XAI. In the second half of the chapter, I argue for a pragmatic conception of understanding that is better suited to play the central role attributed to explanation in XAI. Following De Regt (2017) and Kuorikoski and Ylikoski (2015), the conditions of satisfaction for understanding an ML system are fleshed out in terms of an agent’s success in using the system. (shrink)

Cada día es más evidente que existen muchas formas sutiles de exclusión y parcialidad que afectan el correcto funcionamiento de los sistemas jurídicos. El concepto de injusticia epistémica, introducido por la filósofa Miranda Fricker, ofrece una herramienta conceptual útil para comprender estas formas de exclusión y parcialidad judicial que a menudo pasan desapercibidas. En este artículo presentamos la teoría original de Fricker y algunas de las aplicaciones del concepto de injusticia epistémica en los procesos jurídicos. En particular, queremos demostrar que (...) la semilla sembrada por Fricker ha generado un floreciente campo de estudio en el cual el concepto se utiliza para analizar muchos fenómenos diferentes en el ámbito jurídico, no siempre siguiendo la caracterización original proporcionada por ella. Esto ha llevado a una distinción entre lo que llamaremos la versión estrecha del concepto, que se acerca a la descripción original de Fricker, y la versión más amplia de injusticia epistémica, que es una noción más controvertida porque existe el riesgo de que se confunda con otros conceptos más conocidos como el sexismo, la discriminación racial, la opresión, el silenciamiento y el gaslighting. Mostraremos que el valor de la versión estrecha es principalmente teórico y que para utilizar el concepto de injusticia epistémica se debe adoptar una comprensión más liberal del mismo. (shrink)

This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...) that other examinations of these budding political parties fall short by overlooking a potentially authoritarian state underlying the Conservative project that dominated politics in Brazil at the time. (shrink)

Varios teóricos del derecho han propuesto el uso de umbrales o estándares de prueba más flexibles y más finamente discriminados. En la medicina es común utilizar estándares que poseen estas características en los procedimientos diagnósticos y en los exámenes médicos. Esta ponencia ofrece un marco probabilístico para establecer estándares de prueba múltiples en cualquier disciplina. La tesis principal es que la evidencia es un concepto umbral con respecto a la probabilidad. Múltiples umbrales pueden ser establecidos en un marco de intervalos (...) de probabilidad para la hipótesis que está siendo puesta a prueba, los cuales reflejan los diferentes grados de apoyo que la evidencia le provee a la hipótesis. Examinando los mecanismos utilizados para establecer los umbrales en medicina, sugiero una manera para establecer umbrales múltiples de prueba en derecho de una manera no arbitraria. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

This paper offers a reconstruction of Wittgenstein's discussion on inductive proofs. A "algebraic version" of these indirect proofs is offered and contrasted with the usual ones in which an infinite sequence of modus pones is projected.

This paper deals with the mutations in Wittgenstein’s treatment of the notions of “generality” and of “singularity”, from his first philosophy, in the Tractatus Logico-Philosophicus, to his later mature philosophy represented by the Philosophical Investigations. As we shall see, Wittgenstein’s philosophical handling of the notion of “visual perception” plays a key role in those conceptual transformations.

Some Molinists claim that a perfectly good God would actualize a world that is salvifically optimal, that is, a world in which the balance between the saved and damned is optimal and cannot be improved upon without undesirable consequences. I argue that given some plausible principles of rationality, alongside the assumptions Molinists already accept, God’s perfect rationality necessarily would lead him to actualize a salvifically optimal world; I call this position “Optimistic Molinism.” I then consider objections and offer replies, concluding (...) that Optimistic Molinism is undefeated and merits further exploration. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

The (dis)continuism debate—the debate over whether remembering is a form of imagining—is a prominent one in contemporary philosophy of memory. In recent work, Langland-Hassan (2021) has argued that this debate is best understood as a dispute over whether remembering is a form of constructive imagining. In this paper, I argue that remembering is not a form of constructive imagining because constructive processes in remembering and imagining are constrained, and hence controlled, in different ways at the level of consciousness. More specifically, (...) I argue that remembering and imagining differ in terms of the interventions we can make on the constructive processes as they unfold. If this is correct, then a form of discontinuism is vindicated: remembering and imagining are, on this view, processes of different kinds. (shrink)

Trata-se de capítulo de um livro sobre a noção de "substância" na história da filosofia e contém uma discussão sobre a noção ordinária de "corpo" do ponto de vista da filosofia analítica.

El ensayo presenta el esbozo de una teoría de la explicación basada en el modelo duda-creencia de investigación propuesto por Peirce y desarrollado por Isaac Levi. Inicialmente se caracteriza una noción de explicación que hace referencia a las creencias y fines epistémicos de los miembros de una comunidad científica. Posteriormente se demuestra que la inclusión de los aspectos pragmáticos de la explicación en la teoría no sólo no conduce al relativismo, sino que es necesaria para poder dar cuenta de la (...) relación entre las nociones de explicación y comprensión. (shrink)

Proponents of the duty to vote (DTV) argue that in normal circumstances, citizens have the moral duty to vote in political elections. Discussions about DTV analyze _what_ the duty is, _who_ has this duty, _when_ they have it, and _why_ they have it. Missing are answers to the Specification Question: to _which_ elections does DTV apply? A dilemma arises for some supporters of DTV—in this paper, I focus on Julia Maskivker’s work—because either answer is problematic. First, I argue that it (...) is implausible that DTV applies to _all_ elections because this makes the duty too costly for the voter. Second, I argue that there are no good reasons why under normal circumstances DTV applies only to _some_ elections. I consider objections but conclude that the dilemma is successful and therefore the case for DTV is incomplete. (shrink)

The objective of this article is to try to elucidate Wittgenstein’s ex-travagant thesis that each and every mathematical advancement involves some “semantical mutation”, i.e., some alteration of the very meanings of the terms involved. To do that we will argue in favor of the idea of a “modal incompati-bility” between the concepts involved, as they were prior to the advancement, and what they become after the new result was obtained. We will also argue that the adoption of this thesis profoundly (...) alters the traditional way of con-struing the idea of “progress” in mathematics. (shrink)

El análisis de los conceptos de espacio y tiempo es generalmente considerado uno de los aspectos menos satisfactorios de la obra de Hume. Kemp Smith ha demostrado que en esta sección del Tratado Hume estaba respondiendo a los argumentos que Pierre Bayle había utilizado para probar que el razonamiento humano siempre termina refutándose a sí mismo. En este ensayo expongo las falacias en los argumentos de Bayle, las cuales están basadas en una comprensión inadecuada del concepto de extensión. Hume no (...) logró detectar dichas falacias y repitió los mismos errores de Bayle, lo cual explica la absurda doctrina del espacio que defiende en el Tratado. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

The probability calculus is very often used in the philosophy of science in order to support or to analyse epistemological points of view. The aim of this paper is to present in a summary the usual axioms of this calculus, as weIl as its most common consequences and theorems, which the philosopher of science in his arguments ressorts to.

Vision is an important metaphor in ethical and political questions of knowledge. The feminist philosopher Donna Haraway points out the “perverse” nature of an intrusive, alienating, all-seeing vision (to which we might cry out “stop looking at me!”), but also encourages us to embrace the embodied nature of sight and its promises for genuinely situated knowledge. Current technologies of machine vision – surveillance cameras, drones (for war or recreation), iPhone cameras – are usually construed as instances of the former rather (...) than the latter, and for good reasons. However, although in no way attempting to diminish the real suffering these technologies have brought about in the world, I make the case for understanding technologies of computer vision as material instances of embodied seeing and situated knowing. Furthermore, borrowing from Iris Murdoch’s concept of moral vision, I suggest that these technologies direct our labor towards self-reflection in ethically significant ways. My approach draws upon paradigms in computer vision research, phenomenology, and feminist epistemology. Ultimately, this essay is an argument for directing more philosophical attention from merely criticizing technologies of vision as ethically deficient towards embracing them as complex, methodologically and epistemologically important objects. (shrink)

Unlike other classical arguments for the existence of God, Pascal’s Wager provides a pragmatic rationale for theistic belief. Its most popular version says that it is rationally mandatory to choose a way of life that seeks to cultivate belief in God because this is the option of maximum expected utility. Despite its initial attractiveness, this long-standing argument has been subject to various criticisms by many philosophers. What is less discussed, however, is the rationality of this choice in situations where the (...) decision-makers are confronted with greater uncertainty. In this paper, I examine the imprecise version of Pascal’s Wager: those scenarios where an agent’s credence that God exists is imprecise or vague rather than precise. After introducing some technical background on imprecise probabilities, I apply five different principles for decision-making to two cases of state uncertainty. In the final part of the paper, I argue that it is not rationally permitted to include zero as the lower probability of God’s existence. Although the conditions for what makes an act uniquely optimal vary significantly across those principles, I also show how the option of wagering for God can defeat any mixed strategy under two distinct interpretations of salvation. (shrink)

El testimonio es nuestra mayor fuente de creencias. La gran mayoría de nuestras creencias han sido adquiridas a partir de las palabras de otros y no a través de la observación directa del mundo. Una de las peculiaridades de la mayor parte de las creencias testimoniales es que son aceptadas sin ninguna deliberación consciente. Mientras el testimonio sea consistente con nuestras creencias y la fuente sea confiable, la reacción más corriente es la aceptación automática de la información (Thagard 2004, 2005). (...) Nuestra confianza en el testimonio de los demás es un requisito no sólo para la construcción colectiva del conocimiento (Hardwig 1985, 1991), sino también para la interacción social en general. Sin embargo existen contextos en los que la aceptación apresurada de un testimonio falso puede tener consecuencias nefastas. En contextos científicos, legales, políticos y financieros, entre otros, se toman decisiones importantes y se implementan políticas cruciales a partir de las afirmaciones de otros. En estos contextos la aceptación de un testimonio debe ser el resultado de un proceso de decisión basado en criterios objetivos de justificación. Sin embargo, existen dos objeciones al intento de justificar la aceptación de un testimonio (Coady 1973, 1992). La primera es que cualquier justificación será irremediablemente circular puesto que la inmensa mayoría de testimonios obtienen su justificación, al menos en parte, de evidencia de tipo testimonial. La segunda es que nuestras inferencias acerca de la confiabilidad de ciertos tipos de testimonio nunca tendrán un apoyo inductivo lo suficientemente fuerte debido a que los casos en los que un tipo de testimonio puede ser verificado directamente en la experiencia nunca serán lo suficientemente numerosos. En este ensayo presento una solución al problema de cómo decidir racionalmente si un testimonio puede ser aceptado como evidencia probatoria en una investigación. Mi propuesta, que está basada en la teoría de revisión de creencias desarrollada por Levi (1984, 1991), muestra que la aceptación justificada de un testimonio está basada en exactamente los mismos mecanismos de adquisición de creencias que operan en el caso de evidencias no testimoniales; al mismo tiempo, la propuesta da cuenta de las particularidades que se presentan en el proceso de evaluación de una evidencia testimonial. Mi tesis es que la decisión de aceptar un testimonio es un proceso que se cumple en dos etapas. En la primera se busca una justificación pare el testimonio buscando todos los hechos que aumenten la probabilidad de que el testimonio sea verdadero, es decir, de que el testigo o declarante esté reportando verídicamente un hecho. La aceptación de estos hechos y de su relación probabilística positiva con respecto al testimonio está basada en la búsqueda de un equilibrio entre su credibilidad y su valor informativo. En la segunda etapa, se determina si la justificación obtenida en la primera es suficiente para la aceptación del testimonio, de nuevo buscando encontrar un equilibrio entre su credibilidad y la utilidad de la información que contiene en promover los intereses y metas cognitivas del investigador. (shrink)